* doc/misc/gnus.texi (Article Washing): Fix previous change.
authorGlenn Morris <rgm@gnu.org>
Sat, 9 Oct 2010 01:49:20 +0000 (18:49 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 9 Oct 2010 01:49:20 +0000 (18:49 -0700)
commit0f8da8bc7c750be09a3d0df9a8c9d2c8e5e7b032
tree067de2676d71be5e981813888f622a3d95a3d02a
parent6cda3bfd286231dfe097fe51962cb046c4ef0d30
* doc/misc/gnus.texi (Article Washing): Fix previous change.
doc/misc/ChangeLog
doc/misc/gnus.texi